Longitudinal and temporal water temperature patterns in the Yangtze River and its influence on spawning of the Chinese sturgeon (Acipenser sinensis Gray 1835)

In this study, water temperature longitudinal and temporal patterns were investigated in four locations of the Yangtze River to identify their influence on spawning of the Chinese sturgeon (Acipenser sinensis Gray 1835). The results showed that, historically (1960–1980), the four locations, Pingshan (PS, 2,687 river kilometres [rkm]), Yichang (YC, 1,640 rkm), Chenglingji (CLJ, 1,265 rkm), and Hukou (HK, 805 rkm), all had similar average annual water temperatures (around 18.0 °C) but very different amplitudes: The upper two locations, PS (11.4–23.2 °C) and YC (9.1–25.9 °C), were relatively stable and had smaller amplitude than the lower two ones, CLJ (6.0–30.0 °C) and HK (5.9–30.8 °C). On the basis of the physiological effects for Chinese sturgeon, we defined three water temperature ranges: stressing (>23 °C), holding (23–20 °C), and spawning (20–16 °C). We found that the upper two locations with successful spawning of the Chinese sturgeon (PS and YC) had short or no stressing period but long holding and spawning periods. Currently (2013–2016), the impoundment of the Three Gorges Reservoir increases the time for water temperature decreasing to 20 °C at the current spawning ground (YC) in autumn, which increases the stressing and holding periods, and has significant negative impact on the spawning of Chinese sturgeon. Nonetheless, considering the very high stressing temperature and the short duration of the holding and spawning periods at CLJ and HK, we propose that YC is still the most suitable spawning location for the Chinese sturgeon.     

Belief revision within fragments of propositional logic

Belief revision has been extensively studied in the framework of propositional logic, but just recently revision within fragments of propositional logic has gained attention. Hereby it is not only the belief set and the revision formula which are given within a certain language fragment, but also the result of the revision has to be located in the same fragment. So far, research in this direction has been mainly devoted to the Horn fragment of classical logic. Here we present a general approach to define new revision operators derived from known operators, such that the result of the revision remains in the fragment under consideration. Our approach is not limited to the Horn case but applicable to any fragment of propositional logic where the models of the formulas are closed under a Boolean function. Thus we are able to uniformly treat cases as dual Horn, Krom and affine formulas, as well.     

长江中游四大家鱼产卵场河段形态与水流特性研究

为了研究长江中游四大家鱼产卵所需的水流环境,采用数值模拟的方法对产卵河段的形态特征和水流特性进行了量化分析.通过统计和对比研究了4类产卵河段的能量坡降、水流流态、动能梯度、能量损失和弗劳德数等水力特性,分析了水力要素在典型断面上的分布特点.研究结果表明:四大家鱼产卵的河床形态比较特殊,能量坡降具有明显的2维特性;水流流态复杂多样;水流流经产卵河段后能量损失较大;河段横断面上的动能梯度和弗劳德数数值较小.以期为四大家鱼产卵场水流环境的保护提供理论基础和技术参考.     

Importance of Reservoir Tributaries to Spawning of Migratory Fish in the Upper Paraná River

Regulation of rivers by dams transforms previously lotic reaches above the dam into lentic ones and limits or prevents longitudinal connectivity, which impairs access to suitable habitats for the reproduction of many migratory fish species. Frequently, unregulated tributaries can provide important habitat heterogeneity to a regulated river and may mitigate the influence of impoundments on the mainstem river. We evaluated the importance of tributaries to spawning of migratory fish species over three spawning seasons, by comparing several abiotic conditions and larval fish distributions in four rivers that are tributaries to an impounded reach of the Upper Paraná River, Brazil. Our study confirmed reproduction of at least 8 long‐distance migrators, likely nine, out of a total of 19 occurring in the Upper Paraná River. Total larval densities and percentage species composition differed among tributaries, but the differences were not consistent among spawning seasons and unexpectedly were not strongly related to annual differences in temperature and hydrology. We hypothesize that under present conditions, densities of larvae of migratory species may be better related to efficiency of fish passage facilities than to temperature and hydrology. Our study indicates that adult fish are finding suitable habitat for spawning in tributaries, fish eggs are developing into larvae, and larvae are finding suitable rearing space in lagoons adjacent to the tributaries. Our findings also suggest the need for establishment of protected areas in unregulated and lightly regulated tributaries to preserve essential spawning and nursery habitats. Copyright © 2014 John Wiley & Sons, Ltd.     

Ehrenfeucht-Fraïssé games in finite set theory

In this article, with Ehrenfeucht-Fraïssé games we prove that Δ₁≠Δ₀ on BFR, which implies Δ≠Δ₀ on BFR, and thus solve an open problem raised by Albert Atserias in his dissertation (Δ₀,Δ₁,Δ are fragments of first order logic and BFR is a class of finite sets which in essence is equivalent to a class of finite pure arithmetic structures with built-in BIT predicate).     

基于GGIW-PMB的衍生扩展目标跟踪

针对标准的扩展目标泊松多伯努利(Poisson multi-Bernoulli, PMB)滤波器难以有效跟踪衍生目标的问题,提出一种改进的PMB跟踪算法.算法采用随机矩阵法对扩展目标外形和尺寸建模,在滤波预测阶段利用多假设模型对衍生事件进行预测,得到多个伽玛高斯逆威沙特(gamma Gaussian inverse Wishart, GGIW)预测假设分量,最后在滤波更新阶段对预测分量更新得到扩展目标的运动状态和扩展形状估计.仿真结果表明,与标准的PMB滤波算法相比,所提算法有效改善衍生扩展目标的跟踪性能.     

基于关系数据库分裂存储的XML文档片段重构*

首先对基于关系数据库分裂存储XML文档的各种方法进行总结,并对X-RESTORE基于关系数据库的XML文档的分裂存储原理和关系存储模式进行介绍;然后对XML查询的三种计算模式进行分析;最后基于X-RESTORE给出一个重构结果文档片段的算法,并对该算法的执行代价进行分析。分析结果显示,X-RESTORE不仅能够有效地支持XML的选择计算模式,而且能够有效地支持XML的抽取计算模式和重构计算模式。     

A CLIMATE‐BASED INDEX OF HISTORIC SPAWNING‐STREAM HYDROLOGY

Reproductive success of stream‐spawning Oncorhynchus fishes (Pacific salmon, rainbow trout, cutthroat trout and their allies) may be greatly affected by stream discharge or its covariate, stream temperature, during the spawning season. Because such data for the physical environment may not have been routinely collected as part of previous investigations of these fishes, identification of simple but robust indices of historic, seasonal stream discharge and temperature, using long‐term climate data sets, would be important, especially to investigations of historic population dynamics. This study examined statistical associations among several climate variables and the spawning‐season (approximately June) discharges and temperatures of Clear Creek, a Yellowstone Lake tributary used by spawning Yellowstone cutthroat trout, Oncorhynchus clarkii bouvieri (YCT), from the lake. Correlation analysis showed that total water‐year degree‐days (calculated on the basis of mean daily air temperature > 0°C) at Lake Village, on the lake's north shore, was a robust index (both negative and positive, respectively) of consecutive, total semi‐month metrics of creek discharge and temperature during the YCT spawning season. This study (and subsequent use of the Lake Village degree days metric as an environmental variable in a dynamic, age‐structured model of the lacustrine–adfluvial YCT population of Clear Creek) showed how exploratory analyses of the fragmentary but long‐term and regionally unique data sets for Clear Creek discharge and temperature revealed a simple but robust index of climate variation important to understanding the historic dynamics of Clear Creek's YCT population, which is a key spawning stock of Yellowstone Lake. In addition, the extensive statistical associations among the climate variables, along with the temporal trends in two key variables, broadly showed how climate varied across the Yellowstone Lake region during the past several decades. Those observations have implications for the historic, seasonal hydrology of all Yellowstone Lake tributaries used by spawning YCT. Copyright © 2011 John Wiley & Sons, Ltd.     

SPAWNING OF THE ENDANGERED AUSTRALIAN LUNGFISH (NEOCERATODUS FORSTERI) IN A HEAVILY REGULATED RIVER: A PULSE FOR LIFE

The Australian lungfish is an endangered native species currently protected under various state, federal and international agreements. Scarce information on their early life history is available due to the absence of juveniles collected in the wild. This has led to concerns about the sustainability of the species and become a driver for the conservation effort for Australian lungfish. This study aimed to consolidate knowledge on the critical hydraulic habitat requirements of this species within a water resource management context. In this study, spawning of Australian lungfish was found to be a seasonal strategy that is highly reliant on a variable low‐flow regime within riverine habitat. Suitable conditions for spawning were characterized by small flow events in early‐to‐mid spring when water temperatures are between 18 and 28 °C, leading to oviposition on short dense macrophytes in shallow water. Importantly, many of the key environmental factors driving the ecological response are manageable through existing water resource infrastructure. Specifically, releases from water storages within the current distribution of Australian lungfish should mimic the natural inflow and temperature regime within the spawning period, and also provide suitable riverine habitat within projected full supply limits. Copyright © 2012 John Wiley & Sons, Ltd.     

葛洲坝电厂调度对中华鲟产卵场水流条件的影响

建立中华鲟产卵场三维水流数学模型,模拟葛洲坝电厂不同调度情况下产卵场水流条件;分析了葛洲坝下游近坝段适宜中华鲟产卵的水深、近底层流速和两者叠加的区域范围;研究了葛洲坝电厂调度对中华鲟产卵场水流条件影响,并初步提出了中华鲟产卵场水流条件改善措施。研究结果表明:葛洲坝下泄流量在15 000～6 000 m3/s范围变化时,适宜中华鲟产卵的水流区域范围随下泄流量减小相应减小;在下泄流量为6 000 m3/s情况下,若下泄流量全由大江电厂泄流时有利于增大大江尾水区适宜产卵的水流区域范围。